N :
    f
    -> ((
            u,
        )I
        -> *)
I